John Solak
Hello, my name is John Solak and I am a Mathematics Graduate Student at UIC.
My current research interests lie in Mathematical Logic (Model Theory and Proof Theory), but I do find Metamathematics and Topology both fascinating.
E.g. o-Minimal Topology, TFAE statements as Algebraic structures, Hyperoperations, generalizations of impossible objects. In particular, I find
fascinating any algorithms/procedures in any of these areas which may be repeated ad infinitum.
I am currently studying at the University of Illinois at Chicago .
Prior to grad school here, I studied at the
University of Illinois at Urbana-Champaign (UIUC) where I received my Bachelor's in Mathematics
with a Doctoral Prep. concentration, with minors in Philosophy and in Spanish.
You may find my current CV
here
Sample Graduate-Level Coursework
-
Advanced Topics in Logic , a preliminary-exam-orientated course in Computability Theory under Prof. Matthew Harrison-Trainor
-
Simple Theories, a reading course under Profs. James Freitag and Gabriel Conant
-
Algebraic Topology I under Prof. Kevin Whyte
-
O-Minimality and Applications, a Reading course under Prof. Ronnie Nagloo.
-
Differentiable Manifolds I under Prof. Daniel Groves.
-
Second Course in Abstract Algebra II under Prof. Izzet Coskun.
-
Model Theory II under Prof. James Freitag.
-
Second Course in Abstract Algebra I under Prof. Kevin Tucker.
-
General (Pointset) Topology under Prof. Eugene Lerman at UIUC.
Presentations
o-Minimal Structures and Tame Topology, a student lightning talk at the Fields Institute's "Workshop on Model Theory, Algebraic Dynamics, and Differential-Algebraic Geometry", June 17th, 2025
Why it's so Hard to Talk with Your Topologist Friends
i.e.
Showing that Topological Spaces do not Form an Elementary Class , February 17th, 2025
Teaching
Summer 2025:
Spring 2025:
- MATH 179 (Emerging Scholars Program Workshop for Calculus I)
- MATH 180 (Calculus I)
Fall 2024:
Summer 2024:
- MATH 110 (College Algebra)
Spring 2024:
- MATH 125 (Elem. Linear Algebra for Business)
Fall 2023: